1. Collected works
پدیدآورنده : Kurt Godel
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Logic, symbolic and mathematical
2. Collected works
پدیدآورنده : Godel, Kurt Friedrich, 6091-8791
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Collected works ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
3. Collected works, Works. English & German. 5891
پدیدآورنده : Godel, Kurt
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
1986
4. Collegium Logicum.
پدیدآورنده : Kurt Gödel Society.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Mathematics.
5. Collegium Logicum.
پدیدآورنده : Kurt-Gödel-Gesellschaft
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
6. Obras completas
پدیدآورنده : Kurt Gödel; introducción y traducción de Jesús Mosterín.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Lògica matemàtica.
رده :
QA9
.
65
K878
2006
7. On formally undecidable propositions of Principia mathematica and related systems
پدیدآورنده : Kurt Godel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Geodel's theorem
8. On formally undecidable propositions of Principia mathematica and related systems
پدیدآورنده : Godel, Kurt.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Godel's theorem
رده :
QA
248
.
G573
1992
9. On formally undecidable propositions of principia mathematica and related systems
پدیدآورنده : Godel, Kurt Friedrich, 6091-8791
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
G63U213
10. Scritti scelti :
پدیدآورنده : Kurt Gödel ; a cura di Gabriele Lolli.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logica matematica.
11. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
12. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
پدیدآورنده : Kurt Godel
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
13. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
14. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
15. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
16. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : /by Kurt Godel.,گودل,Godel
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
17. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, kurt
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
18. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt.
کتابخانه: Central library and information center (Khorasan Razavi)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1940
19. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
پدیدآورنده : Godel, Kurt
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
20. ناتماميت
پدیدآورنده : / ربکا گلدستين,عنوان اصلي: Incompleteness : the proof and paradox of Kurt Godel, c2005,گلدستاين,Goldstein
کتابخانه: Central library of astan quds razavi (Khorasan Razavi)
موضوع : گودل، کورت، ۱۹۰۶ - ۱۹۷۸م,منطق‌دان‌ها,Logicians,منطق‌دان‌ها,Logicians,گودل، قضيه,-- سرگذشتنامه,-- Biography,-- سرگذشتنامه,-- Biography,-- ایالات متحده,-- United States,-- اتریش,-- Austria
رده :
۵۱۰
/
۹۲
گ
۷۴۹
/
نگ
